[计] 并行程序验证 concurrent program: 并行程序program verification: 程序检验; 程序验证concurrent program execution: 同时执行程序modular concurrent program: 模块并行程序; 模块化并行程序proving of concurrent program: 并行程序证明下载手机词典可随时随地查词查翻译